منابع مشابه
Short Proofs Without New Variables
Adding and removing redundant clauses is at the core of state-of-the-art SAT solving. Crucial is the ability to add short clauses whose redundancy can be determined in polynomial time. We present a characterization of the strongest notion of clause redundancy (i.e., addition of the clause preserves satisfiability) in terms of an implication relationship. By using a polynomial-time decidable imp...
متن کاملThe Secondary Stars in Short Period (Magnetic) Cataclysmic Variables
We review the recent knowledge base pertaining to causes for mass accretion variations (high/low states) in highly magnetic cataclysmic variables (i.e. polars). We then examine what theory has to say about the properties of the secondary stars (the mass donors) with respect to those CVs with very short orbital periods. Finally, we use recent observations of EF Eri in an extended low state to pr...
متن کاملOn the evolutionary status of short period cataclysmic variables
We present high-speed, three-colour photometry of seven short period (Porb 6 95 mins) eclipsing CVs from the Sloan Digital Sky Survey. We determine the system parameters via a parametrized model of the eclipse fitted to the observed lightcurve by χ minimization. Three out of seven of the systems possess brown dwarf donor stars and are believed to have evolved past the orbital period minimum. Th...
متن کاملNormalized laplacian spectrum of two new types of join graphs
Let $G$ be a graph without an isolated vertex, the normalized Laplacian matrix $tilde{mathcal{L}}(G)$ is defined as $tilde{mathcal{L}}(G)=mathcal{D}^{-frac{1}{2}}mathcal{L}(G)mathcal{D}^{-frac{1}{2}}$, where $mathcal{D}$ is a diagonal matrix whose entries are degree of vertices of $G$. The eigenvalues of $tilde{mathcal{L}}(G)$ are called as the normalized Laplacian eigenva...
متن کاملA Study of Two Short-period Discriminants
This paper is the result of a large-population study of discrimination between earthquakes and explosions, using only short-period data from a single station. The data was obtained from the Large Aperture Seismic Array and the two discriminants studied were waveform complexity and spectral ratio. Procedures for multivariate discrimination are developed and results are given in terms of earthqua...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Monthly Notices of the Royal Astronomical Society
سال: 1936
ISSN: 0035-8711,1365-2966
DOI: 10.1093/mnras/97.2.99